Dynamic Consistency Checking in Goal-Directed Answer Set Programming
نویسندگان
چکیده
منابع مشابه
Dynamic Consistency Checking in Goal-Directed Answer Set Programming
In answer set programming, inconsistencies arise when the constraints placed on a program become unsatisfiable. In this paper, we introduce a technique for dynamic consistency checking for our goal-directed method for computing answer sets, under which only those constraints deemed relevant to the partial answer set are tested, allowing inconsistent knowledgebases to be successfully queried. Ho...
متن کاملGalliwasp: A Goal-Directed Answer Set Solver
Galliwasp is a goal-directed implementation of answer set programming. Unlike other answer set solvers, Galliwasp computes partial answer sets which are provably extensible to full answer sets. Galliwasp can execute arbitrary answer set programs in a top-down manner similar to SLD resolution. Galliwasp generates candidate answer sets by executing ordinary rules in a top-down, goal-directed mann...
متن کاملAnswer Set Programming and Bounded Model Checking
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier work where bounded model checking has been used for verification of sequential digital circuits. As the model of asynchronous systems a generalization of communicating automata, 1-safe Petri nets, are used. A mapping fr...
متن کاملConsistency Checking of Natural Language Temporal Requirements using Answer-Set Programming
OF DISSERTATION Consistency Checking of Natural Language Temporal Requirements using Answer-Set Programming Successful software engineering practice requires high quality requirements. Inconsistency is one of the main requirement issues that may prevent software projects from being success. This is particularly onerous when the requirements concern temporal constraints. Manual checking whether ...
متن کاملA possibilistic approach to restore consistency in answer set programming
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic where there exist some techniques to handle this inconsistency. In this work, we propose to manage inconsistent logic programs in a similar way as possibilistic logic does for classical logic. We compute a consistent subpr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2014
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068414000118